سنبينه في مواضع أخرى . وقد : يتبين : « 1 » أن هذا الضرب منتج « 2 » بطريق الخلف أيضا . والخامسة « 3 » ، من كلية موجبة صغرى ، وجزوية سالبة كبرى ؛ ينتج جزوية سالبة « 4 » مثاله : كل ب ج ، وليس كل ب ا ؛ ينتج ليس كل ج ا « 5 » . ولا يمكن أن يتبين « 6 » بالعكس ، كمثل « 7 » ما قلناه في رابع الثاني ؛ و « 8 » لكن بالافتراض : فليكن البعض الذي هو ب ، وليس ا . د ؛ فيكون كل ب ج ، وبعض ب د ؛ فبعض ج د ؛ ولا شيء من د ا ، فليس كل ج ا ؛ وذلك ان نعكس بعض ب د ، فيكون بعض د ب ، فيقرن اليه كل ب ج ، فينتج بعض د ج ، ويعكس فيكون بعض ج د « 9 » . وقد « 10 » يتبين « 11 » أيضا بالخلف انه « 12 » ان لم يكن كذلك ، بل كان ج ا ، وكل ب ج ؛ فكل ب ا ، وكان ليس كل ب ا ؛ هذا خلف . والسادسة ، من صغرى جزوية موجبة وكبرى كلية سالبة يتبين « 13 » بعكس الصغرى ، وبالخلف ، أن النتيجة جزوية سالبة .

--> ( 1 ) - ب يتبين ؛ آن ديگرها تبين ( 2 ) - ط ؛ ينتج ( 3 ) - ها ، ق « و » ندارد ( 4 ) - ها « تنتج جزوية سالبة » ندارد ( 5 ) - ب : مثاله . . . ج ا ( 6 ) - ب ، د ، ق يتبين ؛ آن ديگرها : تبين ( 7 ) - ب ، د : لمثل ؛ هج : كمثل ؛ ها : بمثل ( 8 ) - هج « و » ندارد ( 9 ) - ب : وذلك . . . ج د ( 10 ) - هج : فقد ( 11 ) - ب : يتبين ؛ آن ديگرها تبين ( 12 ) - ق : لأنه ( 13 ) - ق ، هج : يتبين ؛ آن ديگرها : تبين